turing machine as enumerator